Selecting Empirical Methods for Software Engineering Research Authors: Steve Easterbrook, Janice Singer, Margaret-Anne Storey, Daniela Damian Abstract Selecting a research method for empirical software engineering resear

Source URL: www.robertfeldt.net

Automatic Testing of Sequential and Concurrent Substitutability Michael Pradel Thomas R. Gross

Source URL: mp.binaervarianz.de

• Software engineering
• Object-oriented programming
• Computing
• Computer programming
• Inheritance
• Java
• Method overriding
• Method
• Software framework
• Class
• Constructor
• Is-a

Automatic Generation of Object Usage Specifications from Large Method Traces

Source URL: mp.binaervarianz.de

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Programming paradigms
• Concurrent programming languages
• Functional languages
• Aspect-oriented software development
• Runtime verification
• Objective-C
• Iterator
• Java

Systems Engineering Research Validation problem exploration background of SE research research method and validation

Source URL: www.gaudisite.nl

JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email:

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Object-oriented programming languages
• Object
• Program analysis
• Type system
• Iterator
• Const
• Method
• Objective-C
• Type signature
• Covariance and contravariance

THE ANNALS OF "DUNAREA DE JOS" UNIVERSITY OF GALATI FASCICLE XIV MECHANICHAL ENGINEERING, ISSNAUTOLISP & DCL METHOD FOR AUTOMATIC TECHNOLOGICAL DESIGN

Source URL: www.ann.ugal.ro

Modified Elastofiber Element for Steel Slender Column and Brace Modeling Swaminathan Krishnan, M.ASCE1 Abstract: An efficient beam element, the modified elastofiber 共MEF兲 element, has been developed to capture the ov

Source URL: krishnan.caltech.edu

• Elasticity
• Real estate
• Construction
• Solid mechanics
• Mechanics
• Materials science
• Structural analysis
• Buckling
• Strength of materials
• Deformation
• Applied element method
• Structural engineering

Modeling Steel Frame Buildings in Three Dimensions. I: Panel Zone and Plastic Hinge Beam Elements Swaminathan Krishnan1 and John F. Hall2 Abstract: A procedure for efficient three-dimensional nonlinear time-history analy

Source URL: krishnan.caltech.edu

• Structural system
• Mechanics
• Statics
• Engineering
• Physics
• Continuum mechanics
• Beam
• Finite element method
• Bending
• Truss

Atomic Requirements: where the rubber hits the road This is the sixth article in a series that explains the thinking behind the Volere1 requirements techniques. Subsequent articles will explore various aspects of

Source URL: www.volere.co.uk

• Software engineering
• Software requirements
• Requirement
• Functional requirement
• MoSCoW method
• Non-functional requirement
• Specification
• Use case
• Quality
• Scope

THE ANNALS OF “DUNAREA DE JOS” UNIVERSITY OF GALATI FASCICLE XIV MECHANICAL ENGINEERING, ISSNA METHOD FOR ESTABLISHING BY CONTROLLED APROXIMATION OF THE

Source URL: www.ann.ugal.ro